[Mini-OS] Optimize get_current()
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 23 Nov 2007 16:23:03 +0000 (16:23 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 23 Nov 2007 16:23:03 +0000 (16:23 +0000)
commita222af2ef1f49e5c232466ab162fd606732a9d05
treeef3eff7c5510e0f1f605353425dd23ae784c4343
parentbb44bead1012120e08e81ce206612618384481de
[Mini-OS] Optimize get_current()

Let gcc perform the computation with SP itself, leading to yet better
code.

Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
extras/mini-os/include/x86/arch_sched.h